Schedulability Analysis for a Real-time Multiprocessor System Based on Service Contracts and Resource Partitioning

This report presents some initial results of our research which addresses the increasing gaps between the power of multicore/multiprocessor systems and the lack of development models and tools that help programmers exploit such power while ensuring correctness and predictability. One specific goal of our research is to support service contracts on multicore/multiprocessor platforms that support resource partitioning and therefore allow a compositional development of parallel real-time systems. In such a system, each application or application component is described by a service contract, all of which collectively form a hierarchy of service contracts. After successful negotiations, such a hierarchy will be mapped to a hierarchical scheduling system. As with other real-time systems, such systems require schedulability analysis, which is the main focus of this report